System F
#Fleeting_Notes
System F
Girardの多相ラムダ計算(polymorphic lambda calculus)
Girard-Reynolds多相ラムダ計算とも言いそう
単純型付きラムダ計算
+ 多相型(
ポリモーフィズム
)
工学部専門科目「計算と論理」配布資料 多相ラムダ計算 (System F)
確認用
Q. System F
関連
System U
ラムダ・キューブ
調査用
Google.icon
System F(日)
Google.icon
System F(英)
Wikipedia.icon
System F - Wikipedia(日)
System F(検索) - Wikipedia(日)
Wikipedia.icon
System F - Wikipedia(英)
System F(検索) - Wikipedia(英)